COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	@make(letterhead,Phone"497-4430", Who"John McCarthy",Logo Old, Department CSD)
C00004 ENDMK
C⊗;
@make(letterhead,Phone"497-4430", Who"John McCarthy",Logo Old, Department CSD)
@style(indent 8)
@blankspace(12 lines)
@begin(address)
Mr. Shigeki Goto
Electrical Communication Laboratories
Research Division
Nippon Telegraph and Telephone Public Corp.
Musashino-shi
Tokyo 180, Japan
@end(address)
@greeting(Dear Mr. Goto:)
@begin(body)
This is to invite you to visit the Formal Reasoning Group of the Stanford
University Computer Science Department for one year, beginning between
September 1 and October 1, (your choice) 1984.

We are not offering a stipend, but we can offer the use of our computer systems
and will do our best about office space.  

We look forward to working with you.
@end(body)
Sincerely,




John McCarthy
Professor of Computer Science